منابع مشابه
T-Equivalences for positive Sentences
Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base. §
متن کاملPositive solution for Dirichlet $p(t)$-Laplacian BVPs
In this paper we provide existence results for positive solution to Dirichlet p(t)-Laplacian boundary value problems. The sublinear and superlinear cases are considerd.
متن کاملSILTING OBJECTS, t-STRUCTURES AND DERIVED EQUIVALENCES
This note is an extended abstract of my talk given in the conference: “Maurice Auslander Distinguished Lectures and International Conference”, April 29 May 4, 2015. It is based on [6] which is joint work with Jorge Vitória.
متن کاملI-Languages and T-sentences
This paper is about the relevance of Liar Paradoxes for truth-theoretic accounts of linguistic meaning. In " Framing Event Variables, " I develop an independent objection to such accounts. But in both essays, the first numbered sentence is the one displayed below. (1) The first numbered sentence in " Framing Event Variables " is false. Let 'Lari' be a name for the first numbered sentence in tha...
متن کاملpositive solution for dirichlet $p(t)$-laplacian bvps
in this paper we provide existence results for positive solution to dirichlet p(t)-laplacian boundary value problems. the sublinear and superlinear cases are considerd.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2011
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020311000116